Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2

Source URL: www.sci.unich.it

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Conflict-Driven Clause Learning
• DPLL algorithm
• Boolean satisfiability problem
• Satisfiability modulo theories

Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Automated theorem proving
• Constraint programming
• Predicate logic
• Frama-C
• Satisfiability modulo theories
• TPTP
• Mereology
• SPASS

LNCSA Tutorial on Satisfiability Modulo Theories

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Constraint programming
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• DPLL algorithm
• Symbol
• Conjunctive normal form

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language

ConstraintJS: Programming Interactive Behaviors for the Web by Integrating Constraints and States Stephen Oney, Brad Myers Carnegie Mellon University Pittsburgh, PAUSA {soney, bam}@cs.cmu.edu

Source URL: from.so

• Software engineering
• Computer programming
• Declarative programming
• Constraint programming
• Programming paradigms
• JavaScript
• Futures and promises
• Constraint
• Constraint logic programming
• Constraint satisfaction

Santini_Francesco_SR_INRIA

Source URL: fellowship.ercim.eu

• Declarative programming
• Constraint programming
• Software engineering
• Theoretical computer science
• Programming paradigms
• Graph theory
• Constraint logic programming
• Logic programming
• Graph rewriting
• Graph

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu

Source URL: www.cs.stanford.edu

• Constraint programming
• Automated theorem proving
• Theoretical computer science
• Mathematics
• Mathematical logic
• Markov logic network
• WalkSAT
• Graph partition
• Nibbles
• Local search
• Resolution
• Alchemy

o. Univ. Prof. Dr. Richard Hartl Fakultät für Wirtschaftswissenschaften VORTRAG "Integrating Beam-ACO with Constraint Programming for Single

Source URL: prolog.univie.ac.at